B0712+472: a new radio four-image gravitational lens | Synapse