Infante António of Portugal — Portuguese infante (1695-1757)