2,5,6-Trichloro-1-.beta.-D-ribofuranosylbenzimidazole AIDS-043789 AIDS043789 TCRB