I think that it is not possible to do what you want. For lan-to-lan tunnels, you should use NAT, not PAT, as the other end may initiate the IPsec negotiation (in fact, most of the configuration examples I have seen tell you to disable NAT). To which internal IP address will the PIX deliver a packet sent to the PAT address?
Regards.