2,5,6-Trichlorobenzimidazole AIDS-045480 AIDS045480 Benzimidazole deriv. TCB