genus Polyergus Synonyms