Verification of a taxonomy of dermatophytes based on mating results and phylogenetic analyses.