4a-Phenyl-4,4a,5,6,7,8-hexahydro-3(2H)-cinnolinone 6964-13-2 AIDS-125273 AIDS125273 NSC66327