windows - Dockerツールボックスでプロキシを設定するには?

Question

Windows 環境 (Windows 7 Pro) に Docker ツールボックスをインストールしたところ、エンタープライズ プロキシが原因でネットワーク タイムアウトが発生しました。docker toolbox でプロキシを設定するにはどうすればよいですか?

ご協力いただきありがとうございます。