Jose Oliva was the last St. Louis Cardinal to wear jersey number 42 which has since been retired in honor of a player that wasinducted into the Baseball Hall of Fame in what year?