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