Derandomizing polynomial identity tests means proving circuit lower bounds