1123-09-7 3,5-Dimethyl-2-cyclohexen-1-one AIDS-017585 AIDS017585