A brief history of cholesterol lowering