Describir: Topological axion electrodynamics and 4-group symmetry