AIDS-079432 AIDS079432 NSC694232 Tetrazolo[1,5-b]pyridazine, 6-(1-pyrrolidinyl)-