Interleukin-4-transgenic hu-PBL-SCID mice: a model for the screening of antiviral drugs and immunotherapeutic agents against X4 HIV-1 viruses.