Xiaomi Redmi Pro: ecco il primo test benchmark Antutu