casa de don antonio tova arredondo, RIBA