Splenectomy in patients with AIDS