Informasi yang berkaitan dengan pt/João IV, Duque de Brabante