4H,6H-[2]Benzoxepino[6,5,4-def][2]benzoxepine-4,12(10H)-dione AIDS-016411 AIDS016411 NSC625536