Law 'requires' Alito and Thomas to recuse: ex-federal prosecutor