genus Armillaria Synonyms