4-(2-Naphthyl)-4-oxobutanoic acid AIDS-017963 AIDS017963