Seems one of the download servers is down.
I've taken it out of the dns now.
It will take a while till it's updated on your end, you could try to either issue the command ipconfig /flushdns from a dos box or restarting the pc.
It should be gone from the dns in a day or two though.
Sorry for the inconvenience, I will speak to the person running the server and see what's up with it