5-oxo-1-prop-2-enylpyrrolidine-3-carboxylic acid