AIDS-134244 AIDS134244 Methyl 4-oxo-3-(phenylthio)cyclohexanecarboxylate NSC631807