Πετροκόκκινος, Θεμιστοκλής Π.