Piscolactone, a novel triterpenoid isolated from the fungus pisolithus tinctorius