Ophiosetin, a new tetramic acid derivative from the mycopathogenic fungus Elaphocordyceps ophioglossoides