1H-Benzimidazole-5-carboxylic acid, 1-cyclohexyl-2-(3-thienyl)- AIDS-114992 AIDS114992