Formal [4 + 1]- and [5 + 1]-annulation by an S(N)2-conjugate addition sequence: stereoselective synthesis of highly substituted carbocycles.