Yellow fever vaccine for patients with HIV infection.