3-(1,1-Dioxido-4H-1,2,4-benzothiadiazin-3-yl)-4-hydroxy-1-propylquinolin-2(1H)-one AIDS-154780 AIDS154780