Crystal structure of a monomeric retroviral protease solved by protein folding game players