4,5,6-Trichloro-1-.beta.-D-ribofuranosylbenzimidazole 4,5,6-Trichlorobenzimidazole riboside AIDS-007680 AIDS007680 TRB