Axiom of Determinacy Implies the Perfect Set Property