wget - Saving a file downloaded with wget with a different name

http://www.electrictoolbox.com/wget-save-different-filename/