(2R,3S,4R)-N-benzyl-3,4-bis(benzyloxy)-2-[(1R)-1-hydroxy-3-butenyl]pyrrolidine