My choice would be a red Boskoop[1] and, if I can find it (rarely) a Glockenapfel would be fine.
[1] https://www.orangepippin.com/varieties/apples/belle-de-bosko... [2] https://www.orangepippin.com/varieties/apples/glockenapfel
[1] https://www.orangepippin.com/varieties/apples/belle-de-bosko... [2] https://www.orangepippin.com/varieties/apples/glockenapfel
One can always add some lemon juice if one is forced to bake an apple pie with substandard apples at hand, works quite well.