thioisatin; thionaphthenequinone