1-tert-butyl-5-oxopyrrolidine-3-carboxylic acid