(3aS,8aR,9S,9aS)-2,2-dimethyl-octahydro[1,3]dioxolo[4,5-f]indolizin-9-ol