8a-Hydroxy-4a-methyl-8-oxodecahydro-2-naphthalenecarboxylic acid AIDS-131634 AIDS131634 NSC624367