14b,14c-Dihydroacenaphtho[1,2-b]benzo[f]quinoxaline AIDS-143317 AIDS143317 NSC663929