Discontinuation of secondary prophylaxis against cryptococcosis in patients with AIDS receiving highly active antiretroviral therapy