Castelo de Buda, Budapeste