Which of the following was the second pharmaceutical protein produced by bacteria approved for human use?