(1R,2R,8aR)-octahydroindolizine-1,2-diol