Michael,
Reading channel 4 can be done in the same manner as channel 0. For my example project I use HW_AdcReadChannel() to read values from ADC channels 0, 4, and 5 respectively. Make sure that your ADC is initialized and that pin PA4 is not being used by any other function in code or hardware and you shouldn't have any issue reading it.
