robert downey jr. as tony stark