Iglesia de San Miguel al principio de la calle del General Ricardos, CARABANCHEL