a single- or double-benzannelated derivative of the