Analytic Beilinson-Bernstein