(1R,2R,8aR)-1,2,3,5,6,7,8,8a-octahydroindolizine-1,2-diol