Formal Synthesis of (+)-Anatoxin-a by Asymmetric [2+2] Cycloaddition - Muniz, Mauro Neves; Kanazawa, Alice; Greene, Andrew E (Synlett, 2005)