1H-Benzimidazole-5-carboxylic acid, 1-cyclohexyl-2-(2-methyl-1-propenyl)- AIDS-114972 AIDS114972