A Lagrangian formulation of Zador's entropy-constrained quantization theorem