A new synthesis of 25-hydroxycholesterol