2-Dodecanoyl-3,5-dihydroxy-2-cyclohexen-1-one AIDS-134306 AIDS134306 NSC631948