Taxonomy and phylogenetic relationships of nine species of Hypocrea with anamorphs assignable to Trichoderma section Hypocreanum