Synthesis of some thiophenium bis(t-butoxycarbonyl)methylides