tricyclic dibenzothiazepine derivative