Stereocontrolled synthesis of the Prelog-Djerassi lactone