5-Oxo-1-pyrazin-2-ylpyrrolidine-3-carboxylic acid