Stereospecific synthesis of dinosterol