If he is not working from home already, let him do it. That way his impact to the rest of colleagues could be minimized. Another alternative is to hire a psycho

If he is not working from home already, let him do it. That way his impact to the rest of colleagues could be minimized. Another alternative is to hire a psychologist to improve work environment, making him assists to private sessions or participating in team activities.