Synonymescholestérine