Synthesis of 3,12-dihydroxy 9,15-cyclogibberellins