No evidence of a higher risk of progression to AIDS in patients with HIV-1-related severe thrombocytopenia