Does efavirenz replacement improve neurological function in treated HIV infection?