Andreev bound states in Superconductor-quantum dot Josephson junction at infinite-U limit