Cholesterol biosynthetic process