Diagnosis of HIV infection in children.