ワイルドカードを介して複数のファイルをコピーする方法は？

ABC.*という多くのファイルを含むフォルダがあります（これらのファイルは約100個あります）。 DEFで始まる名前の新しいファイルにすべてコピーしたいです。 *

だから私は欲しい

ABC.Page1
ABC.Page2
ABC.Topic12
...etc

にコピー

DEF.Page1
DEF.Page2
DEF.Topic12
...etc

BASHまたは同様のバッチコマンドを使用してこれを行う最も簡単な方法は何ですか？ sed、awk、xargsに関連する問題を考えていますが、構文を特定するのに問題があります。 Pythonスクリプトを書くこともできますが、あまり複雑ではないコマンドラインソリューションがあるかもしれないと思いました。