ditert-butyl (2S)-4-oxopyrrolidine-1,2-dicarboxylate