One way to approach this is to add an assumption with the goal of eliminating the existential quantifier by giving the variable x in the premise a name, say a.
Then add a second assumption of Aa→Ba with the goal to arrive at a contradiction. You should be able to easily reach that contradiction with the previous assumption. That will allow you to discharge the second assumption by introducing a negation.
With that negative conditional, introduce an existential quantifier on the name a calling the variable x. Now that you no longer have the name a, you can complete the elimination of the existential quantifier from the premise and discharge the first assumption.
A change of quantifier is all that is needed at this point to complete the proof.
I was able to complete the proof in 11 lines using Klement's Fitch-style natural deduction proof checker using the following rules: conjunction elimination, conditional elimination, contradiction introduction, negation introduction, existential elimination and introduction and change of quantifiers.
What you are using may require using different rules. The forallx text linked below may also provide a supplemental reference to whatever text you are using.
The following rule is available as Rule 12 Implication (IMPL) in the Group II Rules in Moore and Parker's Critical Thinking 9th Edition:
This rule allows us to change a conditional into a disjunction and vice versa.
(P → Q) ↔ (~P ∨ Q)
Using this we could also start with the premise, Make an assumption to attempt to eliminate the existential quantifier over the variable x to obtain Aa & ~Ba using the specific name a. Use DeMorgan to transform that into ~(~Aa v Ba) Use rule 12 to transform that into ~(Aa → Ba). Introduce the existential quantifier to replace the name a with x. This will allow us to discharge the assumption and then with a change of quantifiers obtain the final result.
This may be another way to obtain the result.
P. D. Magnus, Tim Button with additions by J. Robert Loftis remixed and revised by Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: An Introduction to Formal Logic, Winter 2018. http://forallx.openlogicproject.org/