(2S,4S)-1-[(2-methylpropan-2-yl)oxycarbonyl]-4-prop-2-enylpyrrolidine-2-carboxylic acid