dermatophytosis of the groin Synonyms