Petrucci (di Petruccio), Federico