Total syntheses of all four isomers of cis-1,2-dihydroxypyrrolizidine