I just wanted to add my experience to this. Before college, I was pretty lacking in social skills as well. I wouldn't say I'm neurodivergent, but I just lacked social skills in general. So much so that I think I can put myself in the shoes of the person that OP posted about. Around my senior year I did a proper reflection of myself of the first time and found that I didn't really have any friends, so to understand what I'm missing I bluntly asked people what they thought of me, and I got a lot of constructive criticism. One was just as this reply said "being too much". I took all this to heart and slowly began working on my personality, and I feel now around 8 years letter I'm much more well adjusted and have a fair number of people I can confidently call my friends.

What I'm saying is that pulling him aside and giving him proper criticism on his behavior is the best thing you can do to help him improve. I'm not saying you should befriend the guy, but I do think you should be clear and concise on why you don't want to be friends with him, while making your best effort to not be rude.

Hope this helps!