どうやら PPM4 から Proxy の設定方法が変更されたようです。
教えていただきました。

http_proxy 環境変数に Proxy サーバを指定します。

http_proxy=[URL]


ユーザー名、パスワードが必要な場合は次のように指定します。

http_proxy=[URL]


ポート番号も合わせて指定する場合は次のように指定します。

http_proxy=[URL]


ユーザー名等を指定する場合は、従来の PPM とは互換性がありません。