Wavelength Conversion of Sub-Picosecond Optical Pulses by Four-Wave Mixing in a Semiconductor Optical Ampliier