Existing cholesterol medications may provide antidote to box jellyfish venom