Как установить прокси для wget?

Я хочу загрузить что-то с wgetчерез прокси:

HTTP Proxy: 127.0.0.1
Port: 8080

Прокси не требует имени пользователя и пароля.

Как мне это сделать?