In the novels about Harry Potter and his friends Hermione Granger and Ron Weasley, which movie has the first appearance of the main protagonist?