AIDS-137772 AIDS137772 Cis-9-Carboxydecalin NSC643018 Octahydro-4a(2H)-naphthalenecarboxylic acid