Generation of narrow-bandwidth tunable picosecond IR pulses by difference frequency mixing of stretched pulses