8-(Formyloxy)-8a-hydroxy-4a-methyldecahydro-2-naphthalenecarboxylic acid AIDS-131639 AIDS131639 NSC624372