Cholesterol oxidation and olive oil