Efficacy, safety and CNS effects after switch from efavirenz/tenofovir/emtricitabine to doravirine/tenofovir/lamivudine in a randomized controlled trial