Boosting electret mic to be read by ADC

I want to convert an electret microphones output that can be easily read by a 10 bit ADC, everything running at 5v.

So far I have this preamp circuit working:



And I plan to use an envelope filter like this to smooth things out:



Except that I am using a tl072, so I have another amp available to me.

What would be the best way to get a nice analog voltage out? Thanks

You posted your envelope filter schematic somewhere that does not work. Please post it here attached to your reply.

The minimum supply voltage for a TL07x is 7V and they work poorly with a supply of only 5V.
With a +7V supply the max voltage is +5.8V and the minimum voltage is +1.2V.