Switching from zidovudine to didanosine in patients with symptomatic HIV infection and disease progression. ddI Iberian Study Group.