As a result, they broke up in 1979, but remained close friends. When did Spielberg and Irving divorce?