CXCR4 and infection: hNOJ (IR+) and hNOJ (IR−) mice were highly permissive for infection with both CCR5-tropic HIV-1 (Figures 7 and 8) and CXCR4-tropic HIV-1 (data not shown).