Hradčany, král. hrad v Praze