Aza-quinolinol phosphonate compounds and methods for inhibition of
HIV-integrase are disclosed. ##STR00001## Ar is aryl or heteroaryl
connecting R.sup.6 to L. L is a bond or a linker connecting a ring atom
of Ar to N. The ring atoms, X.sup.1-X.sup.5 may be N, substituted
nitrogen, or substituted carbon, and form rings. The compounds include at
least one phosphonate group covalently attached at any site.