2,3,6,7,9,10-Hexahydro-5H-1,4,8,11-benzotetrathiacyclotridecine-13,14-dicarbonitrile AIDS-148434 AIDS148434 NSC680721