Reduction in mortality from HIV-related CNS infections in routine care in Africa (DREAMM): a before-and-after, implementation study