We have developed standardized procedures and practices for infection of SCID-hu Thy/Liv mice with human immunodeficiency virus type 1 for the prophylactic administration of antiviral compounds and for evaluation of the antiviral effect in vivo. Endpoint analyses included quantitation of viral load by intracellular p24 enzyme-linked immunosorbent assay, DNA PCR for the presence of proviral genomes, flow cytometry to measure the representation of CD4+ and CD8+ cells, and cocultivation for the isolation of virus. Efficacy tests in this model are demonstrated with the nucleoside analogs zidovudine and dideoxyinosine and with the nonnucleoside reverse transcriptase inhibitor nevirapine. This small-animal model should be particularly useful in the preclinical prioritization of lead compounds within a common chemical class, in the evaluation of alternative in vivo dosing regimens, and in the determination of appropriate combination therapy in vivo.