Guidelines for the diagnosis, prevention, and management of cryptococcal disease in HIV-infected adults, adolescents and children, March 2018: supplement to the 2016 consolidated guidelines of the use of antiretroviral drugs for treating and preventing HIV infection