Quale dei farmaci seguenti viene utilizzato per trattare casi gravi di coccidioidomicosi progressiva?