1-oxo-2,3-dihydropyrrolizine-3-carboxylic acid