The "proportional bactericidal test": a method for assessing bactericidal activity in drugs against Mycobacterium leprae in mice.