A predator–prey model with infected prey