Management of a drug-drug interaction between BRAF inhibitors and combined antiretroviral therapy in a HIV-infected patient with craniopharyngioma.