Let a1, a2, a3, ... be a non-constant arithmetic sequence. Suppose that a4, a7, a12 form a geometric sequence. If a7 = 30, what is $a_1$?