. "Dibenzothiepine" . . .