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