dermatophytosis Synonyms