(2S,4S)-dibenzyl 4-hydroxypyrrolidine-1,2-dicarboxylate