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