Go to www.farnell.com and look to see if they have an office in your country and have the IC.
The MC33172 works well up to 35kHz. You can use an LM358 (its pin numbers are the same) but it has poor performance above 2kHz.
You can use an MC34072 (it also has the same pin numbers) but its supply...