Constructing Polycyclic Compounds via Formal [4+1] Cycloaddition (Synfacts, 2009)