Which viral protein binds to the CD4 receptor in HIV?