genus Hippotragus Synonyms