Former Astros pitcher J.R. Richard