Benedek Mikes — Hungarian noble (1819–1878)