Banach algebras and the general theory of *-algebras