(+)-8-Chloro-4,5,6,7-tetrahydro-5-(S)-methyl-6-(3-methyl-2-butenyl)imidazo-[4,5,1-jk][1,4]-benzodiazepin-2(IH)-thione & Phosphonoformic acid AIDS-025482 AIDS025482 R86183 & PFA