Cholesterol biosynthesis