Four-dimensional Chern-Simons theory