4-Methyl-8-(1-piperidinyl)-5,6-quinolinedione AIDS-133152 AIDS133152 NSC628376