(2S,4R)-1-tert-Butyl 2-ethyl 4-hydroxypyrrolidine-1,2-dicarboxylate