A representation theorem for algebras with involution