Stereospecific 1,4-addition to an α,β-unsaturated steroidal epoxide: syntheses of new 15-oxygenated sterols