4a-Methyl-8-oxodecahydro-2-naphthalenecarboxylic acid AIDS-131632 AIDS131632 NSC624365