(1S)-1-((3aS,6S,7aS,7R)-5-benzyl-7-benzyloxy-2,2-dimethylhexahydro-1,3-dioxolo[4,5-c]pyridin-6-yl)but-3-en-1-ol