Hey parsifal! What you did I think was a pretty good thing! I think the best thing too do first and foremost is too give yourself a pat on the back. Second try too mindset yourself into work is work and friends/social life is seperate. There is nothing written that you have to be friends with this person. Sure you may work together and that sounds like that is your only common ground with him. That and nothing more. If he becomes the "negative coworker" that is his choice and not yours. I think we all end up becoming chummy with some people we work with because we spend so much time at work and we can decide where we want to draw the line with each person. I think you drew a good one!
HUGS
Cher