I suggest you have a look at my PIC tutorials at **broken link removed**, my web forwarding service seems to be acting up again, and this is where it's currently hosted.
For a start, put the two IR LED's in series (with a different resistor value), you're just wasting energy for no reason having them in parallel with separate resistors. Also, you need a lower value resistor feeding the base, the hardware details in my IR tutorial show the sort of thing required.
The AND gate using the two transistors is a bit strange, and totally pointless!. If you want to use the hardware PWM (my tutorials don't, there didn't seem much point in doing so) you can simply gate it on and off by setting the PWM value to 0% for 'off', and to whatever you are using for 'on' (could be 50%, but could be less to conserve power).
My IR tutorials generate the 38KHz modulation in simple software loops, this allows you to easily send an exact number of pulses to give the pulse width you want.