Artichoke leaf extract for treating high cholesterol levels