aDepartment of Pharmacy bDepartment of Pharmacology and Toxicology, Radboud University Nijmegen Medical Center, Nijmegen, The Netherlands cInfectious Diseases Department, Saint-Pierre University Hospital, Université Libre de Bruxelles, Brussels, Belgium.