A divergent entry to 1,2,3,9-tetrahydroxyquinolizidines