Theoretical confirmation of benzothiazole derivatives as corrosion inhibitors for carbon steel in hydrochloric acid | Synapse