Stav dette: Mouse knockout models for HIV-1 restriction factors.