Electrolyte–oxide–semiconductor field-effect transistor