Among the procedures that cost more than 1000, which were not specialized in by physician John Wen?
select name from procedures where cost > 1000 except select t3.name from physician as t1 join trained_in as t2 on t1.employeeid = t2.physician join procedures as t3 on t3.code = t2.treatment where t1.name = "John Wen"