SEARCH Articles Figures Tables Carbocyclizations with substituted alkynes Domino allylic substitution/carbocyclization