Elective selection of proline-requiring mutants.

Elective selection of proline-requiring mutants.