Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah{\rm --}Floer conjecture}