Regiomontanus, Joannes