The capital’s business district emptied out when Covid hit. Reviving it will be hard, even if federal workers all come back ...