Which of the following arteries does not supply the circle of Willis?