Crystal structure of the de novo designed miniprotein Gpx15 in the P 42 21 2 space group.