12H,15H-11,7:16,20-Dimetheno[1,2,9,10]dithiadiazacyclohexadecino[9,10-b]phthalazine-5,22-dione AIDS-136857 AIDS136857 NSC639880