Interrupting highly active antiretroviral therapy in patients with HIV