Symptomatic HIV infection