Phosphine-Catalyzed Intramolecular Formal [3+2] Cycloaddition (Synfacts, 2007)