(2S,4R)-1-[(2-methylpropan-2-yl)oxycarbonyl]-4-[[4-(trifluoromethyl)phenyl]methyl]pyrrolidine-2-carboxylic acid