The Chemical Synthesis of Tetrodoxin: An Ongoing Quest