Ex-MLB pitcher dies at 72: ‘The baseball world really lost a great one’