Was lucky to find these data in the following internet page:
Select in this page the state under "ESTADOS E DF" which means in English "States and DC"
The information on the highest point of the state are mentioned under "Ponto mais elevado".
Where the name is known, it is shown in front of "Altitude" (on the same line).
The mountain range, where the highest point belongs to, is shown in the line below the co-ordinates under "Nome da formacao de relevo a que pertence".