9,10-Secoergostane derivatives, e.g. ergocalciferol