11-((Triphenylphosphoranylidene)amino)-7,8,9,10-tetrahydrobenzimidazo[1,2-b]isoquinoline-6-carbonitrile AIDS-134067 AIDS134067 NSC631384