Which command would you use to download a file from the internet using the command line while ensuring that the output is saved with a specific filename?
wget --save-as desired_filename http://example.com/file
wget --download-as desired_filename http://example.com/file
wget --output-file desired_filename http://example.com/file
wget -O desired_filename http://example.com/file