Antoni Lubomirski — Polish prince, general (1718-1782)