Is specific HIV eradication from the brain possible or needed?