Ahh. Thank you. That makes sense. When I calculate the effect of that pullup resistor on my simple circuit, I get 3.9V, which is what I am seeing.
It sounds like AREF is not as simple and convenient to use as I had expected. I need to change my approach.
This has been a big help.