2,4-Dicyclohexyl-6-(trifluoromethyl)-1,3-dioxane-5-carboxylic acid AIDS-146475 AIDS146475 NSC673514