1H-Benzimidazole-5-carboxylic acid, 2-(4-bromo-2-thienyl)-1-cyclohexyl- AIDS-114980 AIDS114980