Trichoharzianol, a new antifungal from Trichoderma harzianum F031.