AIDS-009235 AIDS009235 Isonicotinic acid, (dithiocarboxy)hydrazide, potassium salt NSC23449