An ideal that is maximal among non-finitely generated ideals is prime.

I propose the following: suppose $\,U\,$ is not prime, thus there exist $$\,x,y\in R \text{ such that }x,y\notin U\,,\,xy\in U\,.$$ Define now $B:=U+\langle y\rangle$.

By maximality of $\,U\,$ we have that $\,B\,$ is f.g., say $$\,B=\Bigl\langle u_i+r_iy\,,\,1\leq i\leq k\,,\,k\in\mathbb{N}\,\,;\,\,u_i\in U\,,\,r_i\in R\Bigr\rangle$$ and let now $$U_y:=\{s\in R\,\,;\,\,sy\in U\}.$$ (1) Check that $\,U_y\,$ is a proper ideal in $\,R\,$.

(2) Show that $\,U_y\,$ is f.g.

Put $\,U_y=\langle s_1,\ldots,s_m\rangle\,$, and take $\,u\in U\Longrightarrow\,\exists v_1,\ldots,v_k, t_1,\ldots,t_k\in R\,\,s.t.$$$u=\sum_{n=1}^kv_nu_n+\sum_{n=1}^kt_nr_ny.$$ (3) Show that $\displaystyle{\sum_{n=1}^kt_nr_n}\in U_y.$

(4) Putting $\,\Omega:=\{u_i,\ldots,u_k,ys_1,\ldots,ys_m\}\,$, derive the contradiction $\,U=\langle\Omega\rangle$.

I don't know how excited you might be about deeper results along these lines, and the question is completely answered already, but I can't resist mentioning some deeper results.

It turns out there are a lot of results of "maximal-implies-prime" flavor (like "ideal maximal among non-principal ideals", "ideal maximal among non-countably generated", "maximal among point annihilators of a module", "ideal maximal among ideals disjoint from a multiplicative set").

For a long time, these were proven on an ad hoc basis, but Lam and Reyes managed to get them all (and apparently new ones!) in one fell swoop. In another paper their approach is used to generalize some classical results of Kaplansky and Cohen about properties of prime ideals propagating to all ideals.

They are really fantastic papers, that I think anyone would enjoy. Here are several related papers by Reyes at arXiv:

A prime ideal principle for two-sided ideals

Noncommutative generalizations of theorems of Cohen and Kaplansky

A one-sided Prime Ideal Principle for noncommutative rings

Enjoy!