Extreme magnification of an individual star at redshift 1.5 by a galaxy-cluster lens