「グリーンジャンボ宝くじ　発売開始記念イベント」に登場したアントキの猪木