genus Myrmecophaga Synonyms