Prince of Asturias, Future Charles IV of Spain