Which treaty negotiation involved William O. Studeman's Central Intelligence Agency director?