(2R,4R)-4-(9H-fluoren-9-ylmethoxycarbonylamino)-1-[(2-methylpropan-2-yl)oxycarbonyl]pyrrolidine-2-carboxylic acid