Therapeutic lumbar puncture and lumbar drainage: which is more effective for the management of intracranial hypertension in HIV patients with cryptococcal meningitis? Results of a prospective non-randomized interventional study in China