Let $a_n$ be a geometric sequence of positive real numbers. If $\log_2(a_1) + \log_2(a_2) + \log_2(a_3) = 12$ and the common ratio is $r = 4$, what is the first term $a_1$?