Tolyprolinol, a new dipeptide from Tolypocladium sp. FKI-7981. (July 2018)