AIDS-134243 AIDS134243 Dimethyl 4-oxo-5-(phenylthio)-1,3-cyclohexanedicarboxylate NSC631806