antennectomies