How many pounds of peanuts costing $2.00 a pound should be mixed with a 4 pounds of cashews costing $4.50 a pound to obtain a mixture costing $3.00 a pound?