Benedek Lajos (1804–1881), császári tábornok, részt vett a szabadságharc leverésében