(R)-2-((4R,5R)-5-((((1R,7aR)-1-hydroxy-2,3,5,7a-tetrahydro-1H-pyrrolizin-7-yl)methoxy)carbonyl)-4,5-dimethyl-1,3-dioxolan-4-yl)propanoic acid