(2S)-1-prop-2-enoxycarbonylpyrrolidine-2-carboxylic acid