4-Oxo-1,2,3,4,5,6,7,8-octahydro-1-naphthalenecarboxylic acid AIDS-131650 AIDS131650 NSC624384