9,10-Secocholestane derivatives, e.g. cholecalciferol