1H-Benzimidazole-5-carboxylic acid, 1-cyclohexyl-2-(4-methyl-3-thienyl)- AIDS-114991 AIDS114991