4d Chern-Simons theory as a 3d Toda theory, and a 3d-2d correspondence