AIDS-127089 AIDS127089 NSC142494 Spiro[benzo[b]thiophene-4(5H),4'-piperidine]-3',5'-dicarbonitrile, 6,7-dihydro-2',6'-dioxo-