3-Pyrrolidinecarboxylic acid, 5-ethenyl-2-oxo- [ 71107-20-5 ]