Carbohydrates to densely functionalized carbocycles: 'armed and disarmed' effects in an approach to tetrodotoxin