Treatment of children with HIV infection.