1,2-Dihydroxyindolizidine