Methods are provided for the treatment of a HIV infection. The methods can include administering to a subject with an HIV infection a therapeutically effective amount of an agent that interferes with the interaction of gp120 and &alpha4 integrin, such as a &alpha4&bgr1 or &alpha4&bgr7 integrin antagonist, thereby treating the HIV infection. In several examples, the &alpha4 integrin antagonist is a monoclonal antibody that specifically binds to a &alpha4, &bgr1 or &bgr7 integrin subunit or a cyclic hexapeptide with the amino acid sequence of CWLDVC. Methods are also provided to reduce HIV replication or infection. The methods include contacting a cell with an effective amount of an agent that interferes with the interaction of gp120 and &alpha4 integrin, such as a &alpha4&bgr1 or &alpha4&bgr7 integrin antagonist. Moreover, methods are provided for determining if an agent is useful to treat HIV.