Development of disease and virus recovery in transgenic mice containing HIV proviral DNA.