Universal Horn classes and antivarieties of algebraic systems