Tolyprolinol, a new dipeptide from Tolypocladium sp. FKI-7981