using wget through proxy

wget --execute=http_proxy=proxy.example.com:8080 --proxy-user="username" --proxy-password="password" web_address

where proxy.example.com is the address of the proxy and 8080 is the port number.