Mouse models for human infectious diseases.