(2R,4S)-1-(tert-butoxycarbonyl)-2-benzyloxycarbonyl-4-(tert-butyldimethylsiloxy)methylpyrrolidine