Purified protein derivatives of tuberculin--past, present, and future.