(3S,4R)-4-(4-ethylphenyl)-1-[(2-methylpropan-2-yl)oxycarbonyl]pyrrolidine-3-carboxylic acid