2-(1-Benzothien-2-yl)-7-methylquinoline AIDS-125410 AIDS125410 NSC71687