2-Dodecanoyl-3-hydroxy-2-cyclohexen-1-one AIDS-134305 AIDS134305 NSC631947