4-(2-(1-Piperidinyl)vinyl)benzo[g]quinoline-5,10-dione AIDS-137752 AIDS137752 NSC642968