A city has 4050 children under the age of ten, including 514 who have not been vaccinated for measles. Sixty-five of the city's children are enrolled in the ABC Day Care Center. Suppose the municipal health department sends a doctor and a nurse to ABC to immunize any child who has not already been vaccinated. Find a formula for the probability that exactly k of the children at ABC have not been vaccinated.