ferruginol Synonyms