I've always heard that the difference between the kid you worry about and the kid you don't is the difference between zero friends and one real friend. I think there's logic there.
Personally, I'd suggest that you shouldn't push your DS to socialize with kids he doesn't like, unless avoiding these situations is going to cause more trouble than it is worth. We adults don't enjoy socializing with people who wear us out and make us feel out of place, and I think kids should be paid the same measure of respect.
If he hadn't tried being with them, I'd say that he should give it a try. But he's tried it and he doesn't enjoy himself. What's the point in pushing? Where's the benefit?
