Infinite log-concavity of the Boros--Moll sequences

Let $(d_i(n))_{i=0}^n$ be the Boros--Moll coefficient sequence. We prove that, for every integer $n\ge1$, the polynomial \[ M_n(x)=\sum_{i=0}^n \bigl(d_i(n)^2-d_{i-1}(n)d_{i+1}(n)\bigr)x^i \] has only simple negative zeros, which strictly interlace those of the Narayana polynomial of the same de