Theadibenzotropolones