Follow-up. After reloading the original code, I find that the digitalRead instead of the incorrect analogRead is all that is required. The logic works, I thought I saw nesting errors with all the unnecessary braces. Auto-reformat provided the needed clarity.
Perhaps your pushbutton isn't wired correctly, that should be apparent from the serial output.