The structure of HcRed7, a brighter and red-shifted HcRed variant