Noncalssical condensed thiophenes. VI. Isothianaphthene 2,2-dioxides