(2R)-1-[(2-methylpropan-2-yl)oxycarbonyl]-2-prop-2-enylpyrrolidine-2-carboxylic acid