Phosphonate substituted compounds with HIV protease inhibitory properties having use as therapeutics and for other industrial purposes are disclosed. The compositions inhibit HIV protease activity and/or are useful therapeutically for the treatment of AIDS and other antiviral infections, as well as in assays for the detection of HIV protease.