HOSTS file serves as a "local" DNS server. So it follows general DNS rules, and no port mapping is supported. Yes, that's a rough answer, but it is TRUE.
I guess you hosted a web site on port 8080 of a server. Why not host it on port 80? If you have other web sites on port 80, it is easy to use host headers to distinguise them.