ÖMO 1988 Problem 3

Show that there is precisely one sequence $a_1,a_2,...$ of integers which satisfies $a_1=1, a_2>1,$ and $a_{n+1}^3+1=a_n a_{n+2}$ for $n \ge 1$ .