Thanks Pecoflyer - I appreciate your comments.
I've been trying things in the meantime, revising the formula, rebooting a couple of times, etc. I'm both happy and sad that (1) the conditional formatting now works and (2) I have no idea why. I'm now using a slightly different formula, but I've verified that the original one now works (but don't know why).