Which pitcher finished with the better FIP, at 4.12?