A certain shade of purple paint is created by mixing 4 pints of red paint with 7 pints of blue paint. How many pints of blue paint must be mixed with 20 pints of red paint?