Synthetic studies on the potent voltage-gated sodium ion channel agonist batrachotoxin