2-Butenoic acid, 4-cyclohexyl-2-hydroxy-4-oxo-, (2Z)- AIDS-189855 AIDS189855