Compounds for inhibiting HIV infection and progression