PHP_AUTH_USER is the browser authenticated user, which Apache and IIS handle. This doesn't take into account the Window's logged in user. That information can be found in the registry:
My Computer\HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer
(one of a few places you'll find the login name)
With ActiveX and COM, you can dig this out. I'm not fluent in COM or ActiveX. My boss has written a COM object to fetch the registry info. Then built an ActiveX component that just queried the COM object. Then he had the installer do its thing and install both the ActiveX and COM object. Then when you were in IE and you go to a page which loaded the ActiveX component, you could then retrieve the user name logged in by having JavaScript send it (we did a post submittal). We didn't put much counter measures in the scripts since the user base was about 20 people who barely understood HTML (we had used a modal dialog window to do the checking so it was very tough to view->source and reverse engineer the processing going on).
I'm not familiar with all the tricks of Active Directory. There might be something there to check out. Maybe take the IP the user has and look up the directory and see who logged in on that IP. If you can do that, then you can ditch the COM/ActiveX thing and even make it multi-browser friendly (which would be a much better solution). This may cause security issues if the web server has this much access. Make sure you review the implications of doing this.