Dada a função em PostGreSQL:

substring('ABCX454545DEF' from 'A[^0-9]*([0-9]{1,3})')

Após a sua execução, o resultado será: