Standard practice is to use etherchannel, like this:
6513-SUP1 <--> 4507-SUP1
6513-SUP2 <--> 4507-SUP2
Boxes will load balance the traffic across both etherchannels, if none of them will be blocked by STP.
The reason I wouldn't go for 4gig etherchannel is that etherchannel is not very robust, and can go into error-disable mode if it doesn't like something.