A concise synthesis of 25-hydroxycholesterol from hyodesoxycholic acid. (1st February 2018)