dermamycosis Synonyms