Cerinolactone, a hydroxy-lactone derivative from Trichoderma cerinum