Mechanism of C-5 double bond introduction in the biosynthesis of cholesterol by rat liver microsomes.