KöMaL 2018 B4979

In an acute angled triangle $ABC$, $D$ and $E$ are interior points of the sides $AB$ and $AC$, respectively. The line segments $BE$ and $CD$ meet at $F$. Prove that if $BC^2=BD\cdot BA+CE\cdot CA$ then the quadrilateral $ADFE$ is cyclic.