A comparison of four PET tracers for brain hypoxia mapping in a rodent model of stroke.