AIDS-077831 AIDS077831 N1-(naphthyl)pyridine-2-carboxamidrazone