8-(1-Pyrrolidinyl)-5,6-quinolinedione AIDS-133156 AIDS133156 NSC628380