there is also a script called StarHaloReducer which might help, but it wants to deal with circular reflections and yours looks a little oval.
it's a little obtuse but first you draw a preview around the halo you want to fix, then run the script. you then have to adjust the halo radius, star protection radius and amount to brighten or darken. if you set the sliders to exaggerate the correction you can more easily adjust the other sliders as the correction becomes very obvious. when you get it positioned right, then try to dial in the darkening amount.
rob