Synthesis of functionalized 4,1-benzothiazepines via a [4+3] annulation between aza-o-quinone methides and pyridinium 1,4-zwitterionic thiolates