A 44-year-old woman develops a severe headache while lifting her young child; she says it was already unbearable before she could put the child down. She has vomited and has mild neck discomfort but no focal neurological deficit. Noncontrast CT brain performed 12 hours later is reported as normal. Which one of the following is the most appropriate next investigation?