Cholesterol synthesis