Alcibiades I a translation and commentary - Proclus Diadochus 412-485 (Nijhoff, 1971)