The fate of the 15.beta. hydrogen of lanosterol in cholesterol biosynthesis