Palacio Real de Budapest. Barrio del Castillo, Buda