Obit: Astros pitcher J.R. Richard dies at 71