The Procesi–Schacher conjecture and Hilbert's 17th problem for algebras with involution