tert-butyl 3-oxopyrrolidine-1-carboxylate