3,4,8,9-Tetradehydro-5,10-dihydro-2H-thiecin-5-yl 2-quinoxalinecarboxylate AIDS-144517 AIDS144517 NSC667277