I'm no expert, but I'm using a similar sensor (MPXV6115V) in a project. My ADC has a range of 0-3.3V so the buffering situation is roughly the same. I just used a non-inverting op amp buffer followed by a simple resistor divider on the output to knock sensor values down to what the ADC can read. Your sensors output the lowest voltage in their quiescent state, so an inverting buffer (what you have already) would let you calibrate a voltage divider without driving the sensor to a known value.
The 6115s measure vacuum, and produce their highest voltage in the quiescent state, so my buffers are non-inverting to make the calibration process easier. The simple voltage divider output means I'm throwing away 4% of the measurable range (sensor output never drops below 0.2V), but it's probably not worth worrying about.
As far as output impedance is concerned, you'll have to base that on your ADC's requirements. It depends on the size of the ADC's internal sampling capacitor and how much time it has to settle. Faster sampling requires lower output impedance to avoid measurement errors and crosstalk between channels (if you have one ADC reading multiple sensors). I'm using 2.7K/5.1K dividers which means I can use the fastest possible sampling on my mcu.
On the filtering front, I'm curious to see what others recommend. Aside from what the sensor datasheet suggests, I'm doing it all in software because I've got plenty of CPU and tweaking filter constants in C++ doesn't require a soldering iron.
There's more info on my trials and tribulations
here and
here.