4a-Methyl-4,4a,5,6-tetrahydrobenzo[h]cinnolin-3(2H)-one AIDS-137256 AIDS137256 NSC641109