Dihydropicrotoxinin