genus Trichophyton Synonyms