The role of brain biopsy in the clinical management of HIV‐related focal brain lesions. Issue 10 (13th July 2018)