[download] wget command to download a file and save as a different filename