結論から言うと、④以外ありえません！

予想される訳としては、
Campbell has not seen Mason ()
=Campbellは()Masonに会っていない

has not seenが使われているので、どのくらいの間、という期間の意味が必要です。しかもこの場合はforを使うと決まっています。

①は期間を表してるけどforじゃないので✕②は未来のこと、③は過去のことを言っているので明らかに違います。

現在完了形の分はあくまでも過去と繋がっている現在のことを言います。
よって過去からどのくらいの間今～している、していないというのが重要な意味になります！