J.R. Richard, power pitcher for Astros in ’70s, dies at 71

J