Banaschewski Compactifications via Special Rings of Functions in the Absence of the Axiom of Choice