A synthesis of 25-hydroxycholesterol