(2S)-pyrrolidine-1,2-dicarboxylic acid 1-tert-butyl ester 2-ethyl ester