2-Methyl-5,7-dipiperazinylquinolin-8-ol AIDS-112129 AIDS112129 Broxaldine derivative