Favolon, a new antifungal triterpenoid from a Favolaschia species.