Porsche 935 Turbo, Martini