genus Lopholatilus Synonyms