How much water should be added to 1 gallon of pure antifreeze to obtain a solution that is 25% ​antifreeze?