Budai Vár, Szentháromság utca 7.