The hypocholesterolemic effect of phenyramidol